13

Complexity Theory and Interaction.

Year:
1991
Language:
english
File:
PDF, 331 KB
english, 1991
27

A Constant-Space Sequential Model of Computation for First-Order Logic

Year:
1998
Language:
english
File:
PDF, 568 KB
english, 1998
32

Elementary Properties of the Finite Ranks

Year:
1998
Language:
english
File:
PDF, 298 KB
english, 1998
39

Book Review

Year:
2007
Language:
english
File:
PDF, 120 KB
english, 2007
45

An analysis of fixed-point queries on binary trees

Year:
1991
Language:
english
File:
PDF, 1.23 MB
english, 1991
47

Descriptive Complexityby Neil Immerman

Year:
2001
Language:
english
File:
PDF, 399 KB
english, 2001